方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

关于几类压缩型映象的不动点定理

本文研究了几类压缩映象列的公共不动点存在的问题，获得了一些新的结果。     

非对称度量空间上不动点定理

提出建立在非对称度量空间之间的上收缩映射和下收缩映射的概念.考虑到非对称度量的不对称性,进一步定义了非对称度量空间到自身映射的左不动点和右不动点.最后,给出了非对称度量空间上的两个不动点定理.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

特殊极大子群的S-θ-完备与有限群的可解性

讨论有限群的特殊极大子群的S-θ-完备对该群可解性的影响,得到一系列充分必要条件,推广了该方面已有的一些结论.     

轨道压缩映象的公共不动点定理

引入新型映象———拟压缩映象,在一定条件下,建立了一些新的公共不动点定理,这些结果改进、统一和推广文献[1]———[4]的主要结果.     

从数据中挖掘模糊规则及其系统实现

针对一类多输入单输出模糊逻辑系统，提出一种简单而有效的方法从数据库中挖掘模糊规则．该方法产生的模糊规则库具有良好的完备性和鲁棒性，从仿真实验可以看出利用数据挖掘方法建立的模糊系统具有更好的逼近能力．为了使该方法在应用上具有良好的通用性，设计和实现了基于组件技术的数据挖掘系统．